Michael Stefaniuc : include: Make some more "long" numeric constants LP64/ LLP64 proof.