Fix integer division in ace.Library._read_ascii()