Make sure all microtime calls return floats

Change-Id: I4bcba3f867999b0661b81a371741655ad4cda947