tree c1353be94278ae1aec491810ded1b3f5a04cd738
parent b41524f12910c670b4f2f57d14f4c5e331718294
author pantor <lars.berscheid@online.de> 1637147602 +0100
committer pantor <lars.berscheid@online.de> 1637147602 +0100

improve lexing of numbers