Updating: starting to implement libfloats/lamatrix.