Fix libmincaml.txt

Fix floor
Fix extenv