Added macros for reals/natnums/etc