am 37fb8b51: Merge "Relax builtin precision tests, fix issue in div rounding" into...