Add libinfinity