Shouldn't `precice64` here be `#{old}` or something?