fromIntegral is:exact

General coercion from Integral types. WARNING: This function performs silent truncation if the result type is not at least as big as the argument's type.
general coercion from integral types
Convert from integral to ring.
Lifted conversion between two Integral instances.
fromIntegral, but taking explicit add and zero.
fromIntegral, but with Num constraints instead of Backprop constraints.