pub const SQRT_10001: I256;