GRIM: Use floating point division