select 1_000;
select 1.00_00_01;
select 1.000_0001e2;
select 0x12_34_56_78;
select 0x12_34_56_78p1;
select 0b0010_0100_0111;
