core: Align cmp::le() with the other implementations
core: Align cmp::le() with the other implementations

Also add comments reminding that IEEE 754 requires unusual semantics for
comparison operators as applied to NaNs (x != x, if x = NaN), in case someone
in the future wants to get clever.

andars/rust,zachwick/rust,victorvde/rust,carols10cents/rust,mvdnes/rust,sarojaba/rust-doc-korean,pelmers/rust,mihneadb/rust,TheNeikos/rust,aepsil0n/rust,hauleth/rust,pythonesque/rust,jashank/rust,Ryman/rust,jbclements/rust,emk/rust,aneeshusa/rust,cllns/rust,ktossell/rust,untitaker/rust,reem/rust,philyoon/rust,pythonesque/rust,carols10cents/rust,mdinger/rust,barosl/rust,ruud-v-a/rust,defuz/rust,LeoTestard/rust,richo/rust,Ryman/rust,retep998/rand,kmcallister/rust,aturon/rust,stepancheg/rust-ide-rust,pshc/rust,graydon/rust,servo/rust,quornian/rust,miniupnp/rust,SiegeLord/rust,l0kod/rust,ebfull/rust,dinfuehr/rust,Ryman/rust,kwantam/rust,mvdnes/rust,LeoTestard/rust,zubron/rust,mvdnes/rust,nham/rust,SiegeLord/rust,rohitjoshi/rust,dwillmer/rust,miniupnp/rust,victorvde/rust,zubron/rust,omasanori/rust,erickt/rust,zachwick/rust,aneeshusa/rust,avdi/rust,bombless/rust,nwin/rust,KokaKiwi/rust,miniupnp/rust,seanrivera/rust,victorvde/rust,kimroen/rust,arthurprs/rand,XMPPwocky/rust,mihneadb/rust,aneeshusa/rust,P1start/rust,zachwick/rust,jroesch/rust,zubron/rust,aneeshusa/rust,dinfuehr/rust,seanrivera/rust,mvdnes/rust,cllns/rust,sae-bom/rust,graydon/rust,aturon/rust,pelmers/rust,andars/rust,rohitjoshi/rust,XMPPwocky/rust,0x73/rust,defuz/rust,pczarn/rust,gifnksm/rust,gifnksm/rust,philyoon/rust,KokaKiwi/rust,fabricedesre/rust,AerialX/rust,michaelballantyne/rust-gpu,pczarn/rust,LeoTestard/rust,ktossell/rust,rprichard/rust,kmcallister/rust,defuz/rust,omasanori/rust,GBGamer/rust,aepsil0n/rust,l0kod/rust,krzysz00/rust,l0kod/rust,Ryman/rust,michaelballantyne/rust-gpu,ktossell/rust,bombless/rust,ruud-v-a/rust,l0kod/rust,mitsuhiko/rust,dinfuehr/rust,stepancheg/rust-ide-rust,kmcallister/rust,servo/rust,erickt/rust,aturon/rust,ebfull/rust,mitsuhiko/rust,gifnksm/rust,fabricedesre/rust,nham/rust,GBGamer/rust,TheNeikos/rust,dwillmer/rust,zachwick/rust,stepancheg/rust-ide-rust,zachwick/rust,dwillmer/rust,barosl/rust,0x73/rust,graydon/rust,hauleth/rust,quornian/rust,seanrivera/rust,mahkoh/rust,ebfull/rust,P1start/rust,emk/rust,rohitjoshi/rust,ruud-v-a/rust,victorvde/rust,seanrivera/rust,krzysz00/rust,avdi/rust,untitaker/rust,nham/rust,pshc/rust,carols10cents/rust,LeoTestard/rust,0x73/rust,aidancully/rust,ktossell/rust,jbclements/rust,l0kod/rust,rprichard/rust,mitsuhiko/rust,untitaker/rust,kmcallister/rust,defuz/rust,vhbit/rust,stepancheg/rust-ide-rust,graydon/rust,cllns/rust,kimroen/rust,miniupnp/rust,seanrivera/rust,GrahamDennis/rand,pczarn/rust,mahkoh/rust,aepsil0n/rust,Ryman/rust,quornian/rust,robertg/rust,quornian/rust,servo/rust,zubron/rust,barosl/rust,ebfull/rand,achanda/rand,vhbit/rust,AerialX/rust-rt-minimal,pelmers/rust,P1start/rust,zachwick/rust,sae-bom/rust,j16r/rust,l0kod/rust,pelmers/rust,nwin/rust,AerialX/rust,andars/rust,ktossell/rust,barosl/rust,jbclements/rust,vhbit/rust,mahkoh/rust,miniupnp/rust,pshc/rust,hauleth/rust,jbclements/rust,jroesch/rust,pshc/rust,zubron/rust,TheNeikos/rust,rprichard/rust,andars/rust,GBGamer/rust,quornian/rust,richo/rust,AerialX/rust-rt-minimal,pythonesque/rust,pshc/rust,XMPPwocky/rust,j16r/rust,krzysz00/rust,fabricedesre/rust,defuz/rust,aturon/rust,SiegeLord/rust,pythonesque/rust,ejjeong/rust,aidancully/rust,rprichard/rust,sarojaba/rust-doc-korean,zaeleus/rust,nwin/rust,XMPPwocky/rust,aidancully/rust,bombless/rust,sae-bom/rust,philyoon/rust,Ryman/rust,ebfull/rust,jroesch/rust,vhbit/rust,LeoTestard/rust,andars/rust,aidancully/rust,mahkoh/rust,michaelballantyne/rust-gpu,Ryman/rust,emk/rust,gifnksm/rust,mahkoh/rust,dinfuehr/rust,sarojaba/rust-doc-korean,stepancheg/rust-ide-rust,j16r/rust,mvdnes/rust,erickt/rust,jbclements/rust,nwin/rust,kwantam/rust,jashank/rust,carols10cents/rust,erickt/rust,carols10cents/rust,jashank/rust,gifnksm/rust,stepancheg/rust-ide-rust,jashank/rust,untitaker/rust,sarojaba/rust-doc-korean,aepsil0n/rust,zubron/rust,kimroen/rust,fabricedesre/rust,bombless/rust-docs-chinese,mitsuhiko/rust,ejjeong/rust,KokaKiwi/rust,SiegeLord/rust,michaelballantyne/rust-gpu,omasanori/rust,ebfull/rust,jbclements/rust,jroesch/rust,ejjeong/rust,krzysz00/rust,sae-bom/rust,j16r/rust,P1start/rust,reem/rust,untitaker/rust,aepsil0n/rust,cllns/rust,ruud-v-a/rust,barosl/rust,P1start/rust,nwin/rust,richo/rust,kwantam/rust,michaelballantyne/rust-gpu,ktossell/rust,servo/rust,defuz/rust,kimroen/rust,erickt/rust,erickt/rust,pelmers/rust,aidancully/rust,gifnksm/rust,ejjeong/rust,aidancully/rust,pythonesque/rust,kwantam/rust,jashank/rust,krzysz00/rust,avdi/rust,quornian/rust,avdi/rust,ejjeong/rust,bluss/rand,emk/rust,robertg/rust,mdinger/rust,j16r/rust,mihneadb/rust,rprichard/rust,0x73/rust,pythonesque/rust,richo/rust,cllns/rust,avdi/rust,jashank/rust,TheNeikos/rust,miniupnp/rust,AerialX/rust,SiegeLord/rust,ruud-v-a/rust,kimroen/rust,kmcallister/rust,reem/rust,hauleth/rust,philyoon/rust,bhickey/rand,omasanori/rust,jashank/rust,seanrivera/rust,aturon/rust,jbclements/rust,ejjeong/rust,vhbit/rust,reem/rust,j16r/rust,KokaKiwi/rust,jashank/rust,mvdnes/rust,untitaker/rust,mihneadb/rust,0x73/rust,LeoTestard/rust,mdinger/rust,AerialX/rust-rt-minimal,GBGamer/rust,jbclements/rust,mitsuhiko/rust,shepmaster/rand,dwillmer/rust,aneeshusa/rust,l0kod/rust,nham/rust,0x73/rust,miniupnp/rust,dwillmer/rust,sarojaba/rust-doc-korean,servo/rust,nham/rust,victorvde/rust,fabricedesre/rust,dinfuehr/rust,vhbit/rust,GBGamer/rust,zubron/rust,mdinger/rust,avdi/rust,zaeleus/rust,rprichard/rust,jroesch/rust,mihneadb/rust,AerialX/rust-rt-minimal,XMPPwocky/rust,quornian/rust,mdinger/rust,zubron/rust,cllns/rust,P1start/rust,nwin/rust,aepsil0n/rust,ruud-v-a/rust,jroesch/rust,erickt/rust,AerialX/rust,KokaKiwi/rust,robertg/rust,miniupnp/rust,victorvde/rust,barosl/rust,pshc/rust,pczarn/rust,kmcallister/rust,sarojaba/rust-doc-korean,huonw/rand,sae-bom/rust,P1start/rust,jroesch/rust,mdinger/rust,servo/rust,dwillmer/rust,ktossell/rust,servo/rust,GBGamer/rust,krzysz00/rust,TheNeikos/rust,michaelballantyne/rust-gpu,mihneadb/rust,kwantam/rust,aneeshusa/rust,fabricedesre/rust,XMPPwocky/rust,omasanori/rust,mahkoh/rust,mitsuhiko/rust,nwin/rust,aturon/rust,andars/rust,sae-bom/rust,omasanori/rust,emk/rust,richo/rust,stepancheg/rust-ide-rust,pczarn/rust,nham/rust,kimroen/rust,dinfuehr/rust,reem/rust,zaeleus/rust,rohitjoshi/rust,ebfull/rust,graydon/rust,fabricedesre/rust,vhbit/rust,carols10cents/rust,jbclements/rust,robertg/rust,GBGamer/rust,kwantam/rust,pshc/rust,rohitjoshi/rust,zaeleus/rust,SiegeLord/rust,nwin/rust,robertg/rust,richo/rust,AerialX/rust-rt-minimal,aturon/rust,philyoon/rust,pelmers/rust,graydon/rust,hauleth/rust,bombless/rust,AerialX/rust-rt-minimal,sarojaba/rust-doc-korean,TheNeikos/rust,emk/rust,pczarn/rust,dwillmer/rust,barosl/rust,rohitjoshi/rust,waynenilsen/rand,michaelballantyne/rust-gpu,bombless/rust,pshc/rust,AerialX/rust,l0kod/rust,LeoTestard/rust,nham/rust,zaeleus/rust,dwillmer/rust,kimroen/rust,AerialX/rust,mitsuhiko/rust,reem/rust,0x73/rust,zaeleus/rust,hauleth/rust,emk/rust,bombless/rust,KokaKiwi/rust,vhbit/rust,philyoon/rust,kmcallister/rust,robertg/rust,pczarn/rust,j16r/rust,jroesch/rust,GBGamer/rust,SiegeLord/rust,pythonesque/rust