antoi: accept numbers starting with "+"