"compute with exact numbers" to "manipulate irrational numbers exactly"