Update documentation and tests for float=default