Title: Testing Ada fixed point operations