Python target support and avoid trailing zeroes

Looks like I forgot to send the PR for python support earlier. As usual I apologize for the whitespace removal, I don't know how to avoid that.

The other change is that I removed leading zeroes on int intervals because we disallowed that properly in the compiler.