Deaf signers use phonology to do arithmetic