A sample revised prelude for numeric classes