BUGFIX: Offset error in integral domain conversions in patch_localfixpoint()
TRIV: Delete trailing whitespace