Liskov Substitution Principle C Real Numbers