PseudoReal is now an instance of Num.