diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-07-03 18:04:51 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-07-03 18:39:32 +0200 |
commit | a92ed973e569324b55cddb128f6f638f3ea1985c (patch) | |
tree | 53d8d28c233ed213d09afc63d5118bac5284f79b /release-common.nix | |
parent | 91f49ca1086b43a55e08dfccf1c49eb512a2abc9 (diff) |
Store floating point numbers in double precision
Even on 32-bit systems, Value has enough space to hold a double.
Diffstat (limited to 'release-common.nix')
0 files changed, 0 insertions, 0 deletions