updated driver to fix floating point rounding error with float times