Fix bug with trying to print domain representation of float variable.
Fix bug with trying to print domain representation of float variable.

eomahony/Numberjack,eomahony/Numberjack,eomahony/Numberjack,eomahony/Numberjack,eomahony/Numberjack