casting microtime to float