* libinfinity: updated