Replaced Int with Double in NumValue's methods.