Completed (?) work on the (inexact->exact) builtin
Math procedures return exact values if possible