1.50000000000000000000000000000

From Ordner, a catalog of real numbers in Fungrim.

Decimal	Expression [entries]	Frequency
`1.50000000000000000000000000000`	`Div(3, 2)` [`4c0698` `c6d6e2` `fb7a63` `42d727` `72b5bd` `f9190b` `9f2b18` `4e4380` `2806fd` `3e71f4` `8d0629` `f07e9d` `7c50d1` `84f403` `54daa9` `69d0a3` `534335` `9d66de` `4e21c7` `c05ed8` `361801` `3b175b` `8b7991` `34136c` `1faf7a` `c85c2f` `37ffb7` `4c1db8` `0d9352` `3b272e` `771801` `5174ea` `8d304b` `7314c4` `1e6344` `62b0c4` `741859` `02a8d7` `ccb4d1` `944a14` `197a91` `5a8f57` `00c331` `65647f` `9bfd88` `abadc7` `eba27c` `34ff28` `1c90fb` `e3e4c5` `859445` `e1797b` `aadf90` `57fcaf` `588889` `4dabda` `de8485` `d4b12e` `9b0385` `060366` `98688d` `a2a294` `e3896e` `2dcf0c` `752619` `9a0bc8` `48ac55` `8472cc` `b2cd79` `1448e3` `157ebb` `e04867` `e2878f` `c9bcf7` `6ddbf4` `545e8b` `9e30e7` `e93f43` `5d2c01` `ce9a39` `618a9f` `204acd` `9f3474` `63644d` `da7fb1` `4c882a` `e1a3fb` `afd27a` `a766f2` `60ac50` `0c09cc` `75f9bf` `f0981b` `2573ba` `3f1547` `0aa9ac`] `Neg(Neg(Div(3, 2)))` [`1faf7a` `c85c2f` `37ffb7` `e93f43` `618a9f` `4e4380` `771801` `de8485` `4c882a` `d4b12e` `8d0629` `e1a3fb` `8d304b` `7314c4` `741859` `f0981b` `ccb4d1` `197a91` `5a8f57` `4e21c7` `00c331` `0aa9ac` `b2cd79`] `Decimal("1.5")` [`8e06be` `0c8084` `ff0c9f` `3009a8` `9136b9`] `Neg(Decimal("-1.5"))` [`3009a8` `0c8084` `ff0c9f`]	101 (#16)

2021-03-15 19:12:00.328586 UTC