Use double precision floats throughout psppire-axis-*