digital-8-14-f-ascii DIGITAL-8-14-F-ASCII 6/21/65 DOUBLE PRECISION DIVIDE .