inconsistent use of 'double' in the specification?

Printable View