dot-as_int function

Convenience function used in "simulater"