fromIntegral package:semirings

Convert from integral to ring.