Upgraded specification to 0.4.1; Replaced floats with rationals.