Def/Real number 1