use the fast double->int conversion in 3dgfx.c