groovy

Static type checker doesn't handle divisions properly