rewrite float to integer