Symbolic Constants in FFP