Handle assertions, generalize ints
Reals done