public static int TO_INT(this Type.LET obj) => (int)obj;
public static double TO_DOUBLE(this Type.LET obj) => (double)obj;