--- php-5.3.1/ext/standard/microtime.c	2009-05-21 16:21:40.000000000 +0200
+++ active-3.1/ext/standard/microtime.c	2009-12-02 12:50:22.000000000 +0100
@@ -52,7 +52,7 @@
 #ifdef HAVE_GETTIMEOFDAY
 static void _php_gettimeofday(INTERNAL_FUNCTION_PARAMETERS, int mode)
 {
-	zend_bool get_as_float = 0;
+	zend_bool get_as_float = 1;
 	struct timeval tp = {0};
 
 	if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "|b", &get_as_float) == FAILURE) {