which corner case is being caught here? float by int will be float, right?