Floating Point rules for casts #3062

See (future) comment in #3023 that will mention this pull request in a few minutes