15.4.1042  src/lib/std/eight-byte-float.pkg

## eight-byte-float.pkg

# Compiled by:
#     src/lib/std/standard.lib

package eight_byte_float
    =
    eight_byte_float_guts;      # eight_byte_float_guts is from   src/lib/std/src/eight-byte-float-guts.pkg


## (C) 1999 Lucent Technologies, Bell Laboratories
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.