Merge "Relax builtin precision tests, fix issue in div rounding" into mnc-dev