In any case, I don't think DEC64 is intended for those users that need to use cos() et al.
He apparently has other ideas: "DEC64 is intended to be the only number type in the next generation of application programming languages."
In any case, I don't think DEC64 is intended for those users that need to use cos() et al.