Add option for whether ceil etc. can raise "inexact", adjust x86 conditions.