a bit more progress on reals