• clay830@lemmy.world
    link
    fedilink
    English
    arrow-up
    14
    ·
    10 months ago

    So it’s just a standard double precision floating point? Makes it seem like 15 decimal places was hand selected.