Okay, let's change it to work like that. Still need to support real numbers, though.