INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES
Class
REAL_REF
infix
"-"
infix
"*"
infix
"/"
infix
"^"
infix
"+"
infix
"<"
prefix
"-"
prefix
"+"
abs
ceiling
divisible
exponentiable
floor
hash_code
item
one
out
rounded
set_item
sign
truncated_to_integer
valid_divisor
zero
INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES