AMD64 rounding support