Round toward negative infinity means round the result of a floating-point operation to the representable value nearest to and no greater than the result.