real.c: Update URL to VAX floating point docs.