Fixed bugs with dhalfcauchy and interval