Kreith, K.; Mendle, A. Toward A Coherent Treatment of Negative Numbers. JMETC 2013, 4.