Fixed bounds of cast of unbounded expression
Merge branch 'master' into runtime_refactor