Silences some warnings in fixed-point