IEEE 754 recommended operations