allow parsing of positive numbers in decimal notation#55

fblanqui merged 5 commits into

Deducteam:masterDeducteam/lambdapi-stdlib:masterfrom

fblanqui:posfblanqui/lambdapi-stdlib:posCopy head branch name to clipboard