Fixed bounds of cast of unbounded expression