Removed 'double precision' from the documentation where it didn't apply.