simplified Real and operation traits