Revert vtimer_getI accidentally being changed to use float