DBL_MAX is sys.float_info.max in Python; use INF in PHP for now
Split out example postingsource into code/