Support for reading/updating profiler generated annotations, and applying profiled numeric annotations to the type inference system