fix double vs int