Could we have special extension for double-precision external?
Something like foo.m_amd64dp ?
This way we can have external pkgs including both single and double externals.
Also instruct Pd to *not* try to load the not current precision and avoid crashes.