Highly energy and performance efficient embedded computing through approximately correct arithmetic: a mathematical foundation a