Fix integer parsing for #32