1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
[[]]
= "dsNumber"
= [
{ = "1234567890"},
{ = "lu"}
]
[[]]
= "dsNumber"
= [
{ = "."},
{ = "1234567890"},
{ = "f"}
]
[[]]
= "dsNumber"
= [
{ = "0x"},
{ = "1234567890abcdef"},
]
[[]]
= "dsNumber"
= [
{ = "0b"},
{ = "10"},
]
# We have to fight token with token, because oneof has less priority
[[]]
= "dsNumber"
= [
{ = "0"},
]