Move math out of runtime-ext.rkt