xdr_double • man page