reduce unnecessary fromIntegral