Update math.adb