Make integer <--> float cross compatible