Port to NumType-DK 0.3.