[19/24] I: correct tested assumptions
[19/24] I: correct tested assumptions

    integer:    U -> F      (intgers are always real)
    rational:   U -> F      -----------//------------


Signed-off-by: Kirill Smelkov <b0eeaac46e675e9f95bf68c0df1041cf581c26f4@landau.phys.spbu.ru>
Signed-off-by: Ondrej Certik <b816faa87b7d35274d2e545c5be11ed4376f3ccf@certik.cz>
Signed-off-by: Mateusz Paprocki <4e51c28eba28c1534bcc4a6bd2cccd314d8bf749@gmail.com>

iamutkarshtiwari/sympy,vipulroxx/sympy,sunny94/temp,skidzo/sympy,shikil/sympy,hrashk/sympy,souravsingh/sympy,wanglongqi/sympy,bukzor/sympy,abhiii5459/sympy,MechCoder/sympy,lindsayad/sympy,sunny94/temp,abloomston/sympy,cccfran/sympy,kaichogami/sympy,AkademieOlympia/sympy,saurabhjn76/sympy,rahuldan/sympy,iamutkarshtiwari/sympy,madan96/sympy,debugger22/sympy,liangjiaxing/sympy,AunShiLord/sympy,ahhda/sympy,lidavidm/sympy,Mitchkoens/sympy,yukoba/sympy,saurabhjn76/sympy,garvitr/sympy,pandeyadarsh/sympy,debugger22/sympy,Arafatk/sympy,AunShiLord/sympy,ga7g08/sympy,skidzo/sympy,AkademieOlympia/sympy,kaushik94/sympy,sahmed95/sympy,shipci/sympy,Davidjohnwilson/sympy,maniteja123/sympy,shipci/sympy,farhaanbukhsh/sympy,aktech/sympy,Curious72/sympy,minrk/sympy,mcdaniel67/sympy,amitjamadagni/sympy,Curious72/sympy,hazelnusse/sympy-old,Shaswat27/sympy,abloomston/sympy,jaimahajan1997/sympy,asm666/sympy,postvakje/sympy,oliverlee/sympy,jerli/sympy,beni55/sympy,hazelnusse/sympy-old,kevalds51/sympy,jerli/sympy,lidavidm/sympy,vipulroxx/sympy,mcdaniel67/sympy,yashsharan/sympy,grevutiu-gabriel/sympy,Curious72/sympy,hrashk/sympy,emon10005/sympy,atsao72/sympy,fperez/sympy,bukzor/sympy,pandeyadarsh/sympy,saurabhjn76/sympy,liangjiaxing/sympy,shikil/sympy,wyom/sympy,garvitr/sympy,wanglongqi/sympy,kumarkrishna/sympy,ChristinaZografou/sympy,meghana1995/sympy,wyom/sympy,oliverlee/sympy,atsao72/sympy,Arafatk/sympy,sahmed95/sympy,Sumith1896/sympy,Designist/sympy,atreyv/sympy,Mitchkoens/sympy,AkademieOlympia/sympy,Sumith1896/sympy,sahmed95/sympy,tovrstra/sympy,AunShiLord/sympy,kaushik94/sympy,yashsharan/sympy,wyom/sympy,farhaanbukhsh/sympy,jamesblunt/sympy,jerli/sympy,asm666/sympy,farhaanbukhsh/sympy,MechCoder/sympy,jamesblunt/sympy,ChristinaZografou/sympy,dqnykamp/sympy,emon10005/sympy,Vishluck/sympy,debugger22/sympy,beni55/sympy,kevalds51/sympy,jaimahajan1997/sympy,souravsingh/sympy,madan96/sympy,postvakje/sympy,Designist/sympy,Shaswat27/sympy,Arafatk/sympy,pbrady/sympy,sunny94/temp,Titan-C/sympy,mattpap/sympy-polys,vipulroxx/sympy,ahhda/sympy,kaichogami/sympy,atsao72/sympy,Gadal/sympy,liangjiaxing/sympy,abhiii5459/sympy,lindsayad/sympy,MridulS/sympy,aktech/sympy,shikil/sympy,amitjamadagni/sympy,toolforger/sympy,ryanGT/sympy,toolforger/sympy,kaushik94/sympy,dqnykamp/sympy,sahilshekhawat/sympy,Gadal/sympy,Vishluck/sympy,Mitchkoens/sympy,VaibhavAgarwalVA/sympy,minrk/sympy,MridulS/sympy,abloomston/sympy,hrashk/sympy,Titan-C/sympy,garvitr/sympy,sampadsaha5/sympy,kmacinnis/sympy,kmacinnis/sympy,jaimahajan1997/sympy,lindsayad/sympy,ga7g08/sympy,Vishluck/sympy,jbbskinny/sympy,jbbskinny/sympy,cccfran/sympy,rahuldan/sympy,yukoba/sympy,aktech/sympy,dqnykamp/sympy,shipci/sympy,mafiya69/sympy,rahuldan/sympy,kevalds51/sympy,sahilshekhawat/sympy,KevinGoodsell/sympy,kaichogami/sympy,lidavidm/sympy,VaibhavAgarwalVA/sympy,chaffra/sympy,moble/sympy,meghana1995/sympy,drufat/sympy,kumarkrishna/sympy,yukoba/sympy,skidzo/sympy,Sumith1896/sympy,ga7g08/sympy,chaffra/sympy,Shaswat27/sympy,wanglongqi/sympy,jbbskinny/sympy,cswiercz/sympy,cswiercz/sympy,VaibhavAgarwalVA/sympy,mcdaniel67/sympy,atreyv/sympy,moble/sympy,drufat/sympy,flacjacket/sympy,yashsharan/sympy,Davidjohnwilson/sympy,Gadal/sympy,kumarkrishna/sympy,toolforger/sympy,hargup/sympy,ChristinaZografou/sympy,Designist/sympy,mafiya69/sympy,MridulS/sympy,chaffra/sympy,srjoglekar246/sympy,emon10005/sympy,maniteja123/sympy,mafiya69/sympy,abhiii5459/sympy,pernici/sympy,meghana1995/sympy,sahilshekhawat/sympy,ahhda/sympy,jamesblunt/sympy,iamutkarshtiwari/sympy,diofant/diofant,sampadsaha5/sympy,jbaayen/sympy,grevutiu-gabriel/sympy,moble/sympy,postvakje/sympy,atreyv/sympy,Titan-C/sympy,sampadsaha5/sympy,skirpichev/omg,hargup/sympy,pandeyadarsh/sympy,MechCoder/sympy,drufat/sympy,souravsingh/sympy,pbrady/sympy,madan96/sympy,hargup/sympy,cccfran/sympy,Davidjohnwilson/sympy,beni55/sympy,bukzor/sympy,pbrady/sympy,oliverlee/sympy,maniteja123/sympy,grevutiu-gabriel/sympy,asm666/sympy,cswiercz/sympy,kmacinnis/sympy