real number: 17.23