import from borel

See also https://github.com/anchor/borel/pull/92
these mysterious values from old Borel:

https://github.com/anchor/borel/pull/92/files#diff-45eee72a10eb2860446b2920edb0a6f3R23