The Language Compatible Arithmetic Standard and Ada - Wichmann, Brian A. (1991)