proteus.lib change; float number added in proteus compiler