Add a new version of the standard lib that works with lambscrit 0.200000000....1