https://tongfamily.com/2021/11/09/y-combinator-safe-conversions-decoded/