micro optimisations to Real.__init__