Accurate variable types