Adds initial support for real numbers and cleans up the specs a bit