Docs: 'Precise' uses 'Rational', not 'Double'