diff --git a/src/builtin.cmod b/src/builtin.cmod
index e324d6c644963ede9a51c16fce35b948fd7b8f3f..69bf6ea4b80aee83f7a4331d538ae94cb895bd51 100644
--- a/src/builtin.cmod
+++ b/src/builtin.cmod
@@ -2,7 +2,7 @@
 || This file is part of Pike. For copyright information see COPYRIGHT.
 || Pike is distributed under GPL, LGPL and MPL. See the file COPYING
 || for more information.
-|| $Id: builtin.cmod,v 1.222 2008/07/08 12:27:05 grubba Exp $
+|| $Id: builtin.cmod,v 1.223 2008/07/11 14:35:13 mast Exp $
 */
 
 #include "global.h"
@@ -2939,7 +2939,7 @@ PIKECLASS Timer
     if( THIS->hard_update )
       GETTIMEOFDAY( &current_time );
     res = current_time.tv_sec-THIS->last_time.tv_sec +
-      (current_time.tv_usec-THIS->last_time.tv_usec)/1000000.0;
+      (current_time.tv_usec-THIS->last_time.tv_usec)/(FLOAT_TYPE) 1000000.0;
     RETURN res;
   }