`float` type should be able to accept an `int` value

[maread99]

In line with treatment afforded by type checkers, a parameter annotated with float should be able to accept an int value. Currently has to receive a float.