question on range types

[jackmott]

range types like:
    
    
    type
      MySubrange = range[0..5]
    

Are they also checked at runtime? Is there a way to disable them being checked 
at runtime in release mode?