fix bug in Real.__cmp__