Map<String, dynamic> pureInt(int value, [String type = LegacyBCS.U64]) { return pure.u64(BigInt.from(value)); }