Is 5 a Real Number?