[Ada] Refactor repeated code for real type attributes returning integers