#include "common.h"

/* 10110 8007FD10 */
f32 obGetCurrentTimeF() {
    f64 var_f4;
    s32 temp_s0_2;

    temp_s0_2 = 
        ((obGetCurrentTime() << 0x12) & 0x0C000000) | 
        (obGetCurrentTime() << 0xF) | 
        obGetCurrentTime();
    var_f4 = (f64) temp_s0_2;
    if (temp_s0_2 < 0) {
        var_f4 += 4294967296.0;
    }
    return (f32) var_f4 * 2.3283064e-10f;
}