add precision(Float64), etc. (closes #8881)