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. -- Mensaje telepatico asistido por maquinas.