ValueReal: {
    tag: "real";
    val: number | bigint;
}