fix for #9: number parsing