Implement lt for Real class