Let PHP decide whether to use int or float in evalStatic()

Amends D6412.

Auditors: epriestley