An American national standard - IEEE (IEEE, 1972)