English: 17 is a real number.
Lojban: li pa ze mrena'u