Input range check in encode-float