[dev] Fixed hack in fixed-point and doc fixes.