ada: Dimensional analysis when used with elementary functions