1--  { dg-do compile }
2
3with Ada.Unchecked_Conversion;
4
5package body Fixedpnt2 is
6
7   function To_Integer_64 is
8      new Ada.Unchecked_Conversion (Source => My_Type,
9                                    Target => T_Integer_64);
10
11   function To_T is
12      new Ada.Unchecked_Conversion (Source => T_Integer_64,
13                                    Target => My_Type);
14
15   function "*" (Left  : in T_Integer_32;
16                 Right : in My_Type)
17      return My_Type is
18         (To_T (S => T_Integer_64 (Left) * To_Integer_64 (S => Right)));
19
20   function "*" (Left  : in My_Type;
21                 Right : in T_Integer_32)
22      return My_Type is
23         (To_T (S => To_Integer_64 (S => Left) * T_Integer_64 (Right)));
24
25end Fixedpnt2;
26