fromIntegral package:relational-record

Number fromIntegral uni-operator.