Finished types and numerical shadow function stubs