positive real number (Q3176558)
real number strictly greater than zero
Language: