6934 without changes to +/-Inf