>>>>> "Robert" == Robert Dewar <dewar@adacore.com> writes: Robert> I actually ended up with a slightly simplified patch by Robert> changing Non_Binary_Modulus to apply to any type or Robert> subtype. [...] Will post exact patch tomorrow. Hi. Any news? Sam -- Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/