dot-as_num function

Convenience function used in "simulater"