Add Fractional and AsFractional instance for embed
Adds a Fractional
and an AsFractional
instance for embed
.
I wasn't sure what the best location for these instances was. But I guess that iris/bi/embed.v
should not depend on anything in lib
so I put it in iris/bi/lib/fractional.v
.